
cnf = [''.split()]                       # [list()]

